Using PADL to specify AFrames
نویسندگان
چکیده
In this short technical note we show how PADL – the process algebraic architectural description language of Bernardo, Ciancarini and Donatiello – can be used to specify AFrames. AFrames exist to structure the machine in a Problem Frames development, and are important in that framework as they allow architectural expertise to be captured and reused therein. Because of the close proximity of PADL to other Architectural Description Languages, we assert that this work opens the Problem Frames framework to standard architectural abstractions.
منابع مشابه
Automating Mathematical Program Transformations
Program transformations are often not automated because their definitions do not specify the many details needed to implement them correctly in code. We define two, the conversion of Boolean expressions into integer inequalities and the convex hull transformation of disjunctive constraints, using a novel style based on set theory. This treats constraints as syntactic objects, allowing mappings ...
متن کاملDistributed Policy Specification and Interpretation with Classified Advertisements
In a distributed system, the principle of separation of policy and mechanism provides the flexibility to revise policies without altering mechanisms and vice versa. This separation can be achieved by devising a language for specifying policy and an engine for interpreting policy. In the Condor [14] high throughput distributed system the ClassAd language [16] is used to specify resource selectio...
متن کاملOn Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
Linear logic programs are challenging to implement efficiently because facts are asserted and retracted frequently. Implementation is made more difficult with the introduction of useful features such as rule priorities, which are used to specify the order of rule inference, and comprehensions or aggregates, which are mechanisms that make data iteration and gathering more intuitive. In this pape...
متن کاملA Functional Logic Programming Approach to Graphical User Interfaces
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative style. For this purpose, we have developed a GUI library in Curry, a multi-paradigm language amalgamating functional, logic, and concurrent programming principles. The functional features of Curry are exploited to deene t...
متن کاملHabitual physical activity in daily life correlates positively with markers for mitochondrial capacity.
Physical exercise training is a powerful tool to maintain or improve mitochondrial density and function (mitochondrial capacity). This study aims to determine whether mitochondrial capacity is also associated with habitual physical activity in daily life (PADL). The capacity of classic markers for mitochondrial density, i.e., the capacity of citrate synthase (CS) and succinate dehydrogenase (SD...
متن کامل